4 results
ABOUT SOME FIXED POINT AXIOMS AND RELATED PRINCIPLES IN KRIPKE–PLATEK ENVIRONMENTS
-
- Journal:
- The Journal of Symbolic Logic / Volume 83 / Issue 2 / June 2018
- Published online by Cambridge University Press:
- 01 August 2018, pp. 642-668
- Print publication:
- June 2018
-
- Article
- Export citation
A DIRECT PROOF OF SCHWICHTENBERG’S BAR RECURSION CLOSURE THEOREM
-
- Journal:
- The Journal of Symbolic Logic / Volume 83 / Issue 1 / March 2018
- Published online by Cambridge University Press:
- 12 February 2018, pp. 70-83
- Print publication:
- March 2018
-
- Article
- Export citation
GENERIC LARGE CARDINALS AND SYSTEMS OF FILTERS
-
- Journal:
- The Journal of Symbolic Logic / Volume 82 / Issue 3 / September 2017
- Published online by Cambridge University Press:
- 08 September 2017, pp. 860-892
- Print publication:
- September 2017
-
- Article
- Export citation
RAMSEY’S THEOREM FOR PAIRS AND K COLORS AS A SUB-CLASSICAL PRINCIPLE OF ARITHMETIC
-
- Journal:
- The Journal of Symbolic Logic / Volume 82 / Issue 2 / June 2017
- Published online by Cambridge University Press:
- 19 June 2017, pp. 737-753
- Print publication:
- June 2017
-
- Article
- Export citation